Proceedings of the 5 th International Workshop on Critical Systems Development Using Modeling Languages ( CSDUML 2006 )

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)

We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling Languages (CSDUML’04).

th International Workshop on Aspect - Oriented Modeling

This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference on Model-Driven Engineering, Languages, and Systems (MODELS), which was located in Nashville, Tennessee, on September 30, 2007. Over 20 researchers and practitioners attended the workshop with various backgrounds in a...

Modularity in Design: Formal Modeling and Automated Analysis

Reasoning about the evolvability properties and economic implications of design structures is critical to high-consequence decision-making, but it remains difficult, in part due to the lack of formal theories linking design structures to evolvability and economic properties, and of automated techniques facilitating value-based decision-making. One key impediment is the lack of analyzable high-l...

Proceedings of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface

Acm/ieee 18th International Conference on Model Driven Engineering Languages and Systems International Workshop on Model-driven Engineering for Component-based Software Systems (modcomp) 2015 Workshop Proceedings

Model-Integrating Software Components (MoCos) use models at runtime as first class entities within components to build flexible and adaptive software systems. Building such systems requires to design and implement the required domainspecific modeling languages. Insufficient design and realization of modeling languages raises the risk that they may not be optimized for their later use. Although ...